Post-traumatic stress disorder after World War II